F. Parisi-Presicce: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Parallelism and concurrency in high-level replacement systems

Ehrig, Hartmut, Habel, Annegret, Kreowski, Hans-Jörg, Parisi-Presicce, Francesco

Journal:

Mathematical Structures in Computer Science

Year:

1991

Language:

english

File:

PDF, 5.95 MB

english, 1991

2

Extensions of iterative congruences on free iterative algebras

Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 1.06 MB

english, 1983

3

Implementation of data types by algebraic methods

Edward K. Blum, Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1983

Language:

english

File:

PDF, 1.89 MB

english, 1983

4

Algebraic specification of modules and their basic interconnections

E.K. Blum, H. Ehrig, F. Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 2.50 MB

english, 1987

5

Union and actualization of module specifications: Some compatibility results

Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

1987

Language:

english

File:

PDF, 1.34 MB

english, 1987

6

Iteractive factor algebras and induced metrics

Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 1.24 MB

english, 1983

7

Policy Analysis and Verification by Graph Transformation Tools

Francesco Parisi-Presicce, Yujie Zhao

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 474 KB

english, 2005

8

Higher-Order Nets for Mobile Policies

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 377 KB

english, 2005

9

Graph-based specification of access control policies

Manuel Koch, L.V. Mancini, Francesco Parisi-Presicce

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 412 KB

english, 2005

10

On the complexity of specification morphisms

Serafino Cicerone, Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 695 KB

english, 1997

11

Basic Results for Two Types of High-Level Replacement Systems

Hartmut Ehrig, Annegret Habel, F. Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 303 KB

english, 2002

12

Coordinated Distributed Diagram Transformation for Software Evolution

Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 146 KB

english, 2003

13

On Modifying High Level Replacement Systems

Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

14

UML specification of access control policies and their formal verification

Manuel Koch, Francesco Parisi-Presicce

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 1.10 MB

english, 2006

15

Special section: International Conference on Graph Transformation ICGT 2004

Francesco Parisi-Presicce

Journal:

Software & Systems Modeling

Year:

2007

Language:

english

File:

PDF, 58 KB

english, 2007

16

Combining data type and recursive process specifications using projection algebras

Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Cristian Dimitrovici, Martin Grosse-Rhode

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.56 MB

english, 1990

17

Compatibility problems in the development of algebraic module specifications

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 5.39 MB

english, 1990

18

Foundations of rule-based design of modular systems

Francesco Parisi-Presicce

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.61 MB

english, 1991

19

Termination of High-Level Replacement Units with Application to Model Transformation

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

20

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse

Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

21

Graph Transformations for the Specification of Access Control Policies

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 280 KB

english, 2002

22

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Representing First-Order Logic Using Graphs

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 333 KB

english, 2004

23

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 ||

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 5.78 MB

english, 2004

24

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || The Potential of a Chemical Graph Transformation System

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 261 KB

english, 2004

25

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Synchronizers for Local Computations

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 231 KB

english, 2004

26

Formal model and policy specification of usage control

Zhang, Xinwen, Parisi-Presicce, Francesco, Sandhu, Ravi, Park, Jaehong

Journal:

ACM Transactions on Information and System Security

Year:

2005

Language:

english

File:

PDF, 285 KB

english, 2005

27

[IEEE HCC 2001. IEEE Symposium on Human-Centric Computing Languages and Environments - Stresa, Italy (5-7 Sept. 2001)] Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) - On a uniform logical framework for diagrammatic reasoning

Bottoni, P., Meyer, B., Parisi-Presicce, F.

Year:

2001

Language:

english

File:

PDF, 544 KB

english, 2001

28

[IEEE 14th IEEE Computer Security Foundations Workshop, 2001. - Cape Breton, Novia Scotia, Canada (11-13 June 2001)] Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001. - Revocations -a classification

Hagstrom, A., Jajodia, S., Parisi-Presicce, F., Wijesekera, D.

Year:

2001

Language:

english

File:

PDF, 1.25 MB

english, 2001

29

[IEEE Comput. Soc. Press Fourth International Conference on Software Engineering and Knowledge Engineering - Capri, Italy (15-20 June 1992)] Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering - System design as derivation via rewriting

Parisi-Presicce, F., Pierantonio, A.

Year:

1992

Language:

english

File:

PDF, 690 KB

english, 1992

30

[IEEE Comput. Soc. Press 12th International Conference on Software Engineering - Nice, France (26-30 March 1990)] [1990] Proceedings. 12th International Conference on Software Engineering - A rule-based approach to modular system design

Parisi-Presicce, F.

Year:

1990

Language:

english

File:

PDF, 1.13 MB

english, 1990

31

Risky trust

Dwaikat, Zaid, Parisi-Presicce, Francesco

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

32

[ACM Press the 2003 ACM workshop - Washington, D.C. (2003.10.30-..)] Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Formal access control analysis in the software development process

Koch, Manuel, Parisi-Presicce, Francesco

Year:

2003

Language:

english

File:

PDF, 906 KB

english, 2003

33

[ACM Press the 2005 workshop - St. Louis, Missouri (2005.05.15-2005.05.16)] Proceedings of the 2005 workshop on Software engineering for secure systems---building trustworthy applications - SESS '05 - Risky trust

Dwaikat, Zaid, Parisi-Presicce, Francesco

Year:

2005

Language:

english

File:

PDF, 133 KB

english, 2005

34

A graph-based formalism for RBAC

Koch, Manuel, Mancini, Luigi V., Parisi-Presicce, Francesco

Journal:

ACM Transactions on Information and System Security

Year:

2002

Language:

english

File:

PDF, 800 KB

english, 2002

35

An algebraic theory of class specification

Parisi-Presicce, Francesco, Pierantonio, Alfonso

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1994

Language:

english

File:

PDF, 1.98 MB

english, 1994

36

[ACM Press the sixth ACM symposium - Chantilly, Virginia, United States (2001..-..)] Proceedings of the sixth ACM symposium on Access control models and technologies - SACMAT '01 - On the specification and evolution of access control policies

Koch, M., Mancini, L. V., Parisi-Presicce, F.

Year:

2001

Language:

english

File:

PDF, 235 KB

english, 2001

37

[ACM Press the thirteenth annual ACM symposium - Milwaukee, Wisconsin, United States (1981.05.11-1981.05.13)] Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 - On the faithful regular extensions of iterative algebras

Parisi-Presicce, Francesco

Year:

1981

Language:

english

File:

PDF, 292 KB

english, 1981

38

[ACM Press the ninth ACM symposium - Yorktown Heights, New York, USA (2004.06.02-2004.06.04)] Proceedings of the ninth ACM symposium on Access control models and technologies - SACMAT '04 - A logical specification for usage control

Zhang, Xinwen, Park, Jaehong, Parisi-Presicce, Francesco, Sandhu, Ravi

Year:

2004

Language:

english

File:

PDF, 142 KB

english, 2004

39

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 ||

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 20.46 MB

english, 2015

40

Removing permissions in the flexible authorization framework

Wijesekera, Duminda, Jajodia, Sushil, Parisi-Presicce, Francesco, Hagström, Åsa

Journal:

ACM Transactions on Database Systems

Year:

2003

Language:

english

File:

PDF, 203 KB

english, 2003

41

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Towards Compliance Verification Between Global and Local Process Models

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 2.54 MB

english, 2015

42

[ACM Press the ninth ACM symposium - Yorktown Heights, New York, USA (2004.06.02-2004.06.04)] Proceedings of the ninth ACM symposium on Access control models and technologies - SACMAT '04 - Administrative scope in the graph-based framework

Koch, M., Mancini, L. V., Parisi-Presicce, F.

Year:

2004

Language:

english

File:

PDF, 146 KB

english, 2004

43

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 75 KB

english, 2004

44

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.85 MB

english, 2015

45

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Towards Local Confluence Analysis for Amalgamated Graph Transformation

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015

46

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Tool Support for Multi-amalgamated Triple Graph Grammars

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 1.09 MB

english, 2015

47

[Lecture Notes in Computer Science] Graph Transformation Volume 9151 || Inductive Invariant Checking with Partial Negative Application Conditions

Parisi-Presicce, Francesco, Westfechtel, Bernhard

Year:

2015

Language:

english

File:

PDF, 663 KB

english, 2015

48

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

Language:

english

File:

PDF, 80 KB

english, 2004

49

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Extending Graph Rewriting for Refactoring

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

File:

PDF, 320 KB

2004

50

[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Model Checking Graph Transformations: A Comparison of Two Approaches

Ehrig, Hartmut, Engels, Gregor, Parisi-Presicce, Francesco, Rozenberg, Grzegorz

Year:

2004

File:

PDF, 416 KB

2004